Library of American University of Madaba Catalog › Results of Search for 'se:Lecture Notes in Computer Science, and au:Müller, Peter, and su-to:Logics and Meanings of Programs.'

Your search returned 2 results.

Unhighlight Highlight
	Verified Software: Theories, Tools, Experiments by Joshi, Rajeev. Publication: . XI, 326p. Availability: Copies available: AUM Main Library (1), Actions: Add to Cart
	Advanced Lectures on Software Engineering by Müller, Peter. Publication: . VII, 189p. 99 illus. Availability: Copies available: AUM Main Library (1), Actions: Add to Cart

Library of American University of Madaba